Calcul des pertes d'énergie dans un estuaire à marée (Gironde) - Principe et exécution du calcul à l'aide d'une machine mathématique

Applications du calcul formel à la balistique

This paper gives an overview of various forms of the differential equations of exterior, interior and terminal ballistics, as well as a presentation of the problems they induce in computer algebra. Some of these problems have been investigated at ISL (French-German Institute of Saint-Louis): through the quasi-monomial transforms (QMT) of Brenig, for the ordinary differential equations (ODE’s) o...

Sur le calcul à la flexion des coques de révolution soumises à des champs de forces et de températures axisymétriques

Théorie du contrôle optimal et calcul des variations

Un exemple d'utilisation du calcul formel sur ordinateur : méthode générale de localisation des racines d'une équation algébrique à coefficients complexes

L’accès aux archives de la revue « Revue française d’automatique informatique recherche opérationnelle. Mathématique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyr...

Calcul de latences dans un programme Prelude

L’approche synchrone a été récemment étendue pour permettre la spécification de systèmes multipériodiques rythmés par des horloges temps réel explicites et non plus seulement des horloges booléennes. Cette extension est au cœur du langage Prelude et permet la compilation de la spécification en un système multi-tâches gérées par un ordonnanceur temps réel. Le gain est une implémentabilité accrue...